Amartya Sen's theorem